翻訳と辞書 |
Definitions of logic : ウィキペディア英語版 | Definitions of logic
This article divides the definitions into two classes: first are the simple definitions, that consist of a pithy sentence characterising the topic; second are theoretical definitions, where the definition of logic turns on an analysis the definer provides. ==Formal definitions == W. V. Quine (1940, pp. 2–3) defined logic in terms of a logical vocabulary, which in turn is identified by an argument that the many particular vocabularies —Quine mentions geological vocabulary— are used in their particular discourses together with a common, topic-independent kernel of terms.〔Cf. Ferreiros, 2001〕 These terms, then, constitute the logical vocabulary, and the logical truths are those truths common to all particular topics. Hofweber (2004) lists several definitions of logic, and goes on to claim that all definitions of logic are of one of four sorts. These are that logic is the study of: (i) artificial formal structures, (ii) sound inference (e.g., Poinsot), (iii) tautologies (e.g., Watts), or (iv) general features of thought (e.g., Frege). He argues then that these definitions are related to each other, but do not exhaust each other, and that an examination of formal ontology shows that these mismatches between rival definitions are due to tricky issues in ontology.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Definitions of logic」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|